GENTZEN (G.)

GENTZEN (G.)
GENTZEN (G.)

GENTZEN GERHARD (1909-1945)

Logicien allemand, né à Greifswald et mort à Prague lors de son emprisonnement par les Soviétiques. Gentzen a développé l’étude des systèmes de déduction naturelle et établi un théorème d’élimination des coupures. Gerhard Gentzen a également donné une démonstration de consistance de l’arithmétique du premier ordre fondée sur l’induction transfinie jusqu’au premier nombre ordinal inaccessible pour l’exponentiation (et strictement supérieur à 行). Ses méthodes et ses résultats ont profondément influé sur la théorie de la démonstration depuis 1945 et ont été péniblement et considérablement étendus à divers systèmes d’ordre supérieur. Ses travaux sont regroupés dans l’ouvrage The Collected Papers of Gerhard Gentzen (1969).

Encyclopédie Universelle. 2012.

См. также в других словарях:

  • Gentzen — ist der Familienname folgender Personen: Felix Heinrich Gentzen (1914–1969), deutscher Historiker Gerhard Gentzen (1909–1945), deutscher Mathematiker und Logiker Horst Gentzen (1930–1985), deutscher Schauspieler Siehe auch: Gentzenscher Hauptsatz …   Deutsch Wikipedia

  • Gentzen's — Gentzen, Gerhard …   Philosophy dictionary

  • Gentzen — Gerhard Gentzen Gerhard Gentzen (24 novembre 1909 à Greifswald 4 août 1945 à Prague) fut un mathématicien et logicien allemand. Son œuvre est fondamentale en théorie de la démonstration. Il fut l un des étudiants de Weyl à l… …   Wikipédia en Français

  • Gentzen — Gẹntzen,   Gerhard Karl Erich, Mathematiker und Logiker, * Greifswald 24. 11. 1909, ✝ Prag 4. 8. 1945; ab 1943 Dozent in Prag, wo er in der Internierung starb. Gentzen entwickelte in seiner Dissertation den »Kalkül des natürlichen Schließens«,… …   Universal-Lexikon

  • Gentzen's consistency proof — Gentzen s theoremIn 1936 Gerhard Gentzen proved the consistency of first order arithmetic using combinatorial methods. Gentzen s proof shows much more than merely that first order arithmetic is consistent. Gentzen showed that the consistency of… …   Wikipedia

  • Gentzen, Gerhard — (1909–1945) German mathematician, who proved the consistency of classical arithmetic in 1936, relying, however, on transfinite induction . Gentzen was also responsible for the first natural deduction approach to formal logic …   Philosophy dictionary

  • Gerhard Karl Erich Gentzen — (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Inhaltsverzeichnis 1 Mathematische Leistungen 2 Leben 3 Zitat …   Deutsch Wikipedia

  • Gerhard Gentzen — Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Felix-Heinrich Gentzen — (* 19. Mai 1914 in Rastenburg; † 2. August 1969) war ein deutscher Historiker. Inhaltsverzeichnis 1 Familie und Kriegsdienst 2 Heimkehr und Studium 3 Lehrtätigkeit …   Deutsch Wikipedia

  • Théorème de Gentzen — Gerhard Gentzen Gerhard Gentzen (24 novembre 1909 à Greifswald 4 août 1945 à Prague) fut un mathématicien et logicien allemand. Son œuvre est fondamentale en théorie de la démonstration. Il fut l un des étudiants de Weyl à l… …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»